irreducibility and prime